Mizar相关论文
本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定......
在计算机上基于Mizar系统下矩阵的定义，给出次对称矩阵与反次对称矩阵的属性定义．并在此基础上证明了次对称矩阵和反次对称矩阵的部......
在计算机上利用有限序列的理论性质给出了Euler函数在Mizar系统下的定义．给出了与Euler函数有关的一些定理和性质的证明。并实现了......
本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等......
